Klaus Ambos-Spies: Z-Library web sitesinde arama yap

Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Bağış 15 Eylül 2024 – 1 Ekim 2024

Z-Library- 17,000,000'den fazla kitap ve 84,837,000 makale barındıran dünyanın en büyük çevrimiçi kitaplıklarından biridir. Edebiyatı herkes için erişilebilir hale getirmeye çalışıyoruz. Bugün (15 Eylül 2024) projeyi desteklemek ve geliştirmek için ek bir bağış koleksiyonu açıyoruz.

Ayrıca SINIRSIZ indirme (bağış gününden sonraki 31 gün içinde), 'ye kadar olan bağış toplama döneminde projeyi destekleyecek TÜM 1 Ekim 2024 kullanıcılar tarafından kullanılabilir.

Bağış toplama hakkındaAyrıntılı

Kitaplar (13)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Yıl:

1984

Dil:

english

Dosya:

PDF, 5.49 MB

0 / 0

english, 1984

2

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), K. Mehlhorn (eds.)

Yıl:

1985

Dil:

english

Dosya:

DJVU, 3.05 MB

0 / 0

english, 1985

3

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

Yıl:

1985

Dil:

english

Dosya:

PDF, 15.78 MB

0 / 0

english, 1985

4

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

Yıl:

2013

Dil:

english

Dosya:

PDF, 5.84 MB

0 / 0

english, 2013

5

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Steven Homer, Dongping Yang (auth.), Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks (eds.)

Yıl:

1990

Dil:

english

Dosya:

DJVU, 3.15 MB

0 / 0

english, 1990

6

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Yıl:

1987

Dil:

english

Dosya:

DJVU, 4.50 MB

0 / 0

english, 1987

7

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

Yıl:

1985

Dil:

english

Dosya:

PDF, 4.81 MB

0 / 0

english, 1985

8

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

Yıl:

2009

Dil:

english

Dosya:

PDF, 6.42 MB

0 / 0

english, 2009

9

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), E. Börger, G. Hasenjaeger, D. Rödding (eds.)

Yıl:

1984

Dil:

english

Dosya:

DJVU, 3.29 MB

0 / 0

english, 1984

10

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Yıl:

1988

Dil:

english

Dosya:

DJVU, 3.20 MB

0 / 0

english, 1988

11

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Yıl:

1990

Dil:

english

Dosya:

DJVU, 4.21 MB

0 / 0

english, 1990

12

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

Yıl:

2009

Dil:

english

Dosya:

PDF, 6.49 MB

0 / 0

english, 2009

13

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Yıl:

1989

Dil:

english

Dosya:

DJVU, 2.87 MB

0 / 0

english, 1989